Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
191	MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Information Communications protocol Finite-state machine Algorithm Mealy machine Function Output Model checking Models of computation Mathematics Data
192	Modeling Temporal Behavior via Structured Hidden Markov Models: an Application to Keystroking Dynamics Ugo Galassi, Attilio Giordana, Charbel Julien, and Lorenza Saitta Dipartimento di Informatica, Universit` a Amedeo Av Add to Reading List Source URL: www.ugogalassi.net Language: English - Date: 2007-07-20 05:40:20 Hidden Markov model Hierarchical hidden Markov model Speech recognition Markov chain Viterbi algorithm Finite-state machine Forward–backward algorithm Layered hidden Markov model Time-inhomogeneous hidden Bernoulli model Markov models Statistics Probability and statistics
193	University of Scranton ACM Student Chapter / Computing Sciences Department 19th Annual High School Programming Contest (2009) -----------------------------------------------------------------------------Problem 1: Fibona Add to Reading List Source URL: www.cs.uofs.edu Language: English - Date: 2009-12-01 18:14:21 Deterministic finite automaton Mathematics Applied mathematics Nondeterministic finite automaton Finite-state machine Fibonacci number Sequence Rope Automata theory Models of computation Computer science
194	Nik Boyd Copyright 2004 Nikolas S. Boyd. All rights reserved. State Names Add to Reading List Source URL: educery.com Language: English - Date: 2005-07-08 01:55:48 Models of computation Finite-state machine Automated teller machine Identifier Business Electronics Technology Automata theory Digital electronics
195	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE[removed]Motif Statistics Pierre NICODE ME, Bruno SALVY, Philippe FLAJOLET Add to Reading List Source URL: algo.inria.fr Language: English - Date: 1999-05-18 12:04:41 Computer science Applied mathematics Deterministic finite automaton Nondeterministic finite automaton Generating function Markov chain Probability-generating function Computability Finite-state machine Automata theory Models of computation Theoretical computer science
196	Increasing Interaction and Support in the Formal Languages and Automata Theory Course∗ [Extended Abstract] Susan H. Rodger Jinghui Lim Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2007-04-07 14:47:47 Applied mathematics Mathematics Finite-state machine Pumping lemma for regular languages Theory of computation Mealy machine Moore machine Logic Formal grammar Models of computation Automata theory Formal languages
197	Turning Automata Theory into a Hands-on Course ∗ Susan H. Rodger Bart Bressler Thomas Finley Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2006-02-24 16:07:36 Automata theory Turing machine Computer science Formal languages Deterministic finite automaton Finite-state machine Unrestricted grammar Nondeterministic finite automaton Pushdown automaton Theory of computation Models of computation Theoretical computer science
198	HC17.S2T3 High-Performance Pattern-Matching Engine for Intrusion Detection.ppt Add to Reading List Source URL: www.hotchips.org Language: English - Date: 2013-07-27 23:45:52 Hash function Field-programmable gate array Computer science Electronics Applied mathematics Models of computation Automata theory Finite-state machine
199	A Type System for Expressive Security Policies∗ David Walker Cornell University Strong type systems such as those of Java or ML provide provable guarantees about the run-time behaviour of programs. If we type check pro Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-11-02 01:07:11 Logic Mathematical logic First-order logic Model theory Predicate logic Symbol Computability Finite-state machine Linear temporal logic Automata theory Models of computation Theoretical computer science
200	A Validation Method Adapted to Dynamic Service Composition Jacqueline Floch1,2 and Rolv Bræk2 1SINTEF Telecom and Informatics N-7465 Trondheim, Norway Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-10-11 04:54:36 Sociology Finite-state machine Computer science Applied mathematics Models of computation Identity Role

UPDATE